# Generated documentation
docs/**

# third-party libs
extensions/**
node_modules/**
resources/lib/**
resources/src/jquery.tipsy/**
resources/src/jquery/jquery.farbtastic.js
resources/src/mediawiki.libs/**
skins/**
vendor/**
